Department of Science and Technology

Results: 7797



#Item
101

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption Yusuke Kawamoto1 Hideki Sakurada2 Masami Hagiya1 1 Department of Computer Science, Graduate School of Information Science and Technology,

Add to Reading List

Source URL: www.cs.bham.ac.uk

- Date: 2013-08-01 12:14:39
    102

    The Public Understanding of Biotechnology (PUB) is implemented by SAASTA on behalf of the Department of Science and Technology. The Visit Public of Biotechnology (PUB) is implemented by9300

    Add to Reading List

    Source URL: new.pub.ac.za

    - Date: 2015-06-18 18:39:38
      103

      Automated Black-Box Testing of Functional Correctness using Function Approximation [Extended Abstract] Karl Meinke Department of Numerical Analysis and Computer Science Royal Institute of Technology

      Add to Reading List

      Source URL: www.nada.kth.se

      - Date: 2006-05-08 09:36:06
        104

        On Context Bisimulation for Parameterized Higher-order Processes Xian Xu ∗ Department of Computer Science and Technology East China University of Science and Technology, Shanghai, China P.Rc

        Add to Reading List

        Source URL: www.cs.unibo.it

        - Date: 2013-06-01 06:22:49
          105

          Network Traffic Behaviour in Switched Ethernet Systems Tony Field, Uli Harder & Peter Harrison Department of Computing Imperial College of Science, Technology and Medicine Huxley Building, 180 Queen’s Gate, London SW7

          Add to Reading List

          Source URL: pubs.doc.ic.ac.uk

          - Date: 2011-11-14 09:09:14
            106

            Interaction Evaluation for Human-Computer Co-creativity: A Case Study Anna Kantosalo, Jukka M. Toivanen, Hannu Toivonen Department of Computer Science and Helsinki Institute for Information Technology HIIT University of

            Add to Reading List

            Source URL: computationalcreativity.net

            - Date: 2015-10-27 08:25:15
              107

              A Cloud-Based Editor for Multilingual Grammars Thomas Hallgren Ramona Enache Aarne Ranta Department of Computer Science and Engineering Chalmers University of Technology and University of Gothenburg

              Add to Reading List

              Source URL: www.aclweb.org

              - Date: 2015-07-25 01:15:04
                108

                Ronni Grapenthin last revised: March 18, 2016 Contact Information New Mexico Institute of Mining and Technology Department of Earth and Environmental Science

                Add to Reading List

                Source URL: www.grapenthin.org

                - Date: 2016-03-18 17:02:42
                  109

                  DEPARTMENT OF SCIENCE AND TECHNOLOGY Financial Performance Report As of OCTOBER 31,2015 ALL IUNDS (ln Thousand Pesos) Agency: Philippine science High school

                  Add to Reading List

                  Source URL: src.pshs.edu.ph

                  - Date: 2015-11-04 18:42:44
                    110

                    [Draft, references to be added later] Naturalism, Pragmatism and the Retreat from Metaphysics: Scientific versus Subject Naturalism Jonathan Knowles Philosophy Department Norwegian University of Science and Technology

                    Add to Reading List

                    Source URL: www.nordprag.org

                    - Date: 2014-04-05 09:36:29
                      UPDATE